Logic form - PDFSEARCH.IO - Document Search Engine

Logic form
Results: 545

#	Item
231	A Formal Approach to Linking Logical Form and Vector-Space Lexical Semantics Dan Garrette, Katrin Erk, and Raymond Mooney Abstract First-order logic provides a powerful and flexible mechanism for representing natural lan Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-12 20:53:04 Propositional calculus Logical consequence Model theory Inference First-order logic Predicate Function Entailment Vector space model Logic Philosophical logic Semantics
232	Natural Kinds: (Thick) Essentialism or Promiscuous Realism? Theoretical identity statements of the form ‘water is H2 O’ are allegedly necessary truths knowable a posteriori, and assert that nothing could be water and Add to Reading List Source URL: www.bris.ac.uk Language: English - Date: 2007-06-19 09:48:42 Analytic philosophers Essentialism Philosophical logic Philosophy of life Modal logic Naming and Necessity Hilary Putnam A priori and a posteriori David Chalmers Philosophy Logic Analytic philosophy
233	TITLE : Crosscutting Natural Kinds and the Hierarchy Thesis Dr Emma Tobin (University of Bristol) Abstract: It is often argued that Natural Kinds form a hierarchy: if any two kinds overlap, then one must be subsumed unde Add to Reading List Source URL: www.bristol.ac.uk Language: English - Date: 2008-05-06 10:57:53 Logic Natural kind Ontology Philosophy of science Semantics Biological classification Chemistry Hierarchy Quadrupedalism Zoology Megafauna Nature
234	THE TRUTH ON PREDICATES AND CONNECTIVES JOHANNES STERN In his rich “The Truth Predicate vs. the Truth Connective. On taking connectives seriously.” Kevin Mulligan [14] starts an inquiry into the logical form of truth Add to Reading List Source URL: www.philosophie.ch Language: English - Date: 2011-09-23 13:34:26 Predicate logic Logical syntax Mathematical logic Predicate Interpretation First-order logic Proposition Modal logic Redundancy theory of truth Logic Propositional calculus Philosophical logic
235	Subjectivism without Desire† Dale Dorsey Department of Philosophy University of Kansas 1445 Jayhawk Boulevard Wescoe Hall, rm. 3090 Add to Reading List Source URL: people.ku.edu Language: English - Date: 2011-12-07 17:52:14 Philosophy of language Meta-ethics Ontology Formal languages Model theory Interpretation Golden ratio Is–ought problem Static single assignment form Philosophy Mind Logic
236	Relativism and Knowledge Attributions John MacFarlane April 8, 2009 Relativism, in the sense at issue here, is a view about the meaning of knowledge attributions—statements of the form “S knows that p.” Like contex Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2014-08-16 20:27:38 Relativism Justification Skepticism Contextualism Metatheory Philosophical logic Relevant alternatives theory Truth Philosophy Epistemology Ethics
237	1 Our Knowledge of Mathematical Objects I have recently been attempting to provide a new approach to the philosophy of mathematics, which I call ‘procedural postulationism’. It shares with the traditional form of pos Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2007-11-30 17:05:49 Model theory Axiom Z notation Interpretation New Foundations Philosophy of mathematics Logicism S Mathematical proof Mathematics Mathematical logic Logic
238	This is a preprint of an article whose final and definitive form will be published in Erkenntnis, which is available online at: http://www.springerlink.com/content[removed]H2O, ‘Water’, and Transparent Reduction∗ T Add to Reading List Source URL: homepages.uc.edu Language: English - Date: 2007-11-05 19:39:54 Philosophical logic Analytic philosophers Epistemologists Dichotomies Justification A priori and a posteriori Physicalism Frank Cameron Jackson Gettier problem Philosophy Epistemology Knowledge
239	Special Issue Article Fault tree linking versus event tree linking approaches: a reasoned comparison Add to Reading List Source URL: nusbaumer.tripod.com Language: English - Date: 2014-05-29 10:07:17 Philosophical logic Reliability engineering Risk analysis Algebraic logic Canonical form Quantification Equivalence relation Fault tree analysis Logic Mathematical logic Science
240	Microsoft Word - Nusbaumer-Rauzy - FTL versus ETL Mathematical and Algorithmic Reconciliation_revised.doc Add to Reading List Source URL: nusbaumer.tripod.com Language: English - Date: 2012-09-02 05:45:24 Mathematics Diagrams Philosophical logic Reliability engineering Canonical form Binary decision diagram Quantification Equivalence relation Fault tree analysis Logic Mathematical logic Boolean algebra

UPDATE